#ifndef AVOS_HW
#define AVOS_HW

void hw_init_timer(void);

#endif /* AVOS_HW */
